fn id[T](a: T) -> T { a }